$\forall$$a$,$b$:$\mathbb{Z}$. assoced($a$; $b$) $\Leftarrow\!\Rightarrow$ (($a$ = $b$) $\vee$ ($a$ = ({-}$b$)))